<?php

class HTMLLog extends XMLLog {


}


?>
